Merge branch 'dropdown-checkmark' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 27 Oct 2020 20:41:34 +0000 (20:41 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 27 Oct 2020 20:41:34 +0000 (20:41 +0000)
Dropdown checkmark

Closes #3291

See merge request GNOME/gtk!2754


Trivial merge